Sobre ciertas expresiones de la funcion rango, independientes de la teoria de ordinales

In the present work we obtain several representations of the rank func- tion associated to a well founded relation in terms of transitive and supertransitive closures, by means of transfinite recursion theorems con- cerning these relations and with no use of ordinals theory • Moreover, specificai representations are obtained for the ordinary rank function in certain transitive classe

La mitosis celular: una sorprendente frontera de la eficiencia

En este trabajo se presenta una frontera entre la eficiencia e ineficiencia de problemas abstractos en un marco computacional inspirado en la estructura y funcionamiento de las c´elulas de los organismos vivos. M´as concretamente, se justifica que una regla de reescritura, abstracci´on de la mitosis celular, proporciona un l´ımite de la tratabilidad de problemas, bajo el supuesto de que se verifique la conjetura P 6= NP. Como consecuencia relevante se obtienen nuevas herramientas que permiten atacar la resoluci´on de la citada conjetura en un marco absolutamente novedoso.Ministerio de Ciencia e Innovación TIN2009–13192Junta de Andalucía P08–TIC-0420

Heterotic Computing Examples with Optics, Bacteria, and Chemicals

Unconventional computers can perform embodied computation that can directly exploit the natural dynamics of the substrate. But such in materio devices are often limited, special purpose machines. To be practically useful, unconventional devices are usually be combined with classical computers or control systems. However, there is currently no established way to do this, or to combine different unconventional devices. In this position paper we describe heterotic unconventional computation, an approach that focusses on combinations of unconventional devices. This will need a sound semantic framework defining how diverse unconventional computational devices can be combined in a way that respects the intrinsic computational power of each, whilst yielding a hybrid device that is capable of more than the sum of its parts. We also describe a suite of diverse physical implementations of heterotic unconventional computers, comprising computation performed by bacteria hosted in chemically built material, sensed and controlled optically and chemically.Ministerio de Ciencia e Innovación TIN2009–13192Ministerio de Ciencia e Innovación JCI-2010-0653

Modelling of Multi-Agent Systems: Experiences with Membrane Computing and Future Challenges

Formal modelling of Multi-Agent Systems (MAS) is a challenging task due to high complexity, interaction, parallelism and continuous change of roles and organisation between agents. In this paper we record our research experience on formal modelling of MAS. We review our research throughout the last decade, by describing the problems we have encountered and the decisions we have made towards resolving them and providing solutions. Much of this work involved membrane computing and classes of P Systems, such as Tissue and Population P Systems, targeted to the modelling of MAS whose dynamic structure is a prominent characteristic. More particularly, social insects (such as colonies of ants, bees, etc.), biology inspired swarms and systems with emergent behaviour are indicative examples for which we developed formal MAS models. Here, we aim to review our work and disseminate our findings to fellow researchers who might face similar challenges and, furthermore, to discuss important issues for advancing research on the application of membrane computing in MAS modelling.Comment: In Proceedings AMCA-POP 2010, arXiv:1008.314

Modelling the Dynamics of an Aedes albopictus Population

We present a methodology for modelling population dynamics with formal means of computer science. This allows unambiguous description of systems and application of analysis tools such as simulators and model checkers. In particular, the dynamics of a population of Aedes albopictus (a species of mosquito) and its modelling with the Stochastic Calculus of Looping Sequences (Stochastic CLS) are considered. The use of Stochastic CLS to model population dynamics requires an extension which allows environmental events (such as changes in the temperature and rainfalls) to be taken into account. A simulator for the constructed model is developed via translation into the specification language Maude, and used to compare the dynamics obtained from the model with real data.Comment: In Proceedings AMCA-POP 2010, arXiv:1008.314

Ciprofibrate therapy in patients with hypertriglyceridemia and low high density lipoprotein (HDL)-cholesterol: greater reduction of non-HDL cholesterol in subjects with excess body weight (The CIPROAMLAT study)

BACKGROUND: Hypertriglyceridemia in combination with low HDL cholesterol levels is a risk factor for cardiovascular disease. Our objective was to evaluate the efficacy of ciprofibrate for the treatment of this form of dyslipidemia and to identify factors associated with better treatment response. METHODS: Multicenter, international, open-label study. Four hundred and thirty seven patients were included. The plasma lipid levels at inclusion were fasting triglyceride concentrations between 1.6–3.9 mM/l and HDL cholesterol ≤ 1.05 mM/l for women and ≤ 0.9 mM/l for men. The LDL cholesterol was below 4.2 mM/l. All patients received ciprofibrate 100 mg/d. Efficacy and safety parameters were assessed at baseline and at the end of the treatment. The primary efficacy parameter of the study was percentage change in triglycerides from baseline. RESULTS: After 4 months, plasma triglyceride concentrations were decreased by 44% (p < 0.001). HDL cholesterol concentrations were increased by 10% (p < 0.001). Non-HDL cholesterol was decreased by 19%. A greater HDL cholesterol response was observed in lean patients (body mass index < 25 kg/m(2)) compared to the rest of the population (8.2 vs 19.7%, p < 0.001). In contrast, cases with excess body weight had a larger decrease in non-HDL cholesterol levels (-20.8 vs -10.8%, p < 0.001). There were no significant complications resulting from treatment with ciprofibrate. CONCLUSIONS: Ciprofibrate is efficacious for the correction of hypertriglyceridemia / low HDL cholesterol. A greater decrease in non-HDL cholesterol was found among cases with excess body weight. The mechanism of action of ciprofibrate may be influenced by the pathophysiology of the disorder being treated

Viruses and Mycoplasma pneumoniae are the main etiological agents of community-acquired pneumonia in hospitalized pediatric patients in Spain

[Objectives]: To describe the etiology of community-acquired pneumonia (CAP) in hospitalized children in Spain and analyze the predictors of the etiology.[Hypothesis]: The different etiological groups of pediatric CAP are associated with different clinical, radiographic, and analytical data.[Design]: Observational, multicenter, and prospective study.[Patient selection]: This study included children aged 1 month to 17 years with CAP, who were hospitalized between April 2012 and May 2019.[Methods]: An extensive microbiological workup was performed. The clinical, radiographic, and analytical parameters were analyzed for three etiological groups.[Results]: Among the 495 children included, at least one causative pathogen was identified in 262 (52.9%): pathogenic viruses in 155/262 (59.2%); atypical bacteria (AB), mainly Mycoplasma pneumonia, in 84/262 (32.1%); and typical bacteria (TyB) in 40/262 (15.3%). Consolidation was observed in 89/138 (64.5%) patients with viral CAP, 74/84 (88.1%) with CAP caused by AB, and 40/40 (100%) with CAP caused by TyB. Para-pneumonic pleural effusion (PPE) was observed in 112/495 (22.6%) patients, of which 61/112 (54.5%) presented a likely causative pathogen: viruses in 12/61 (19.7%); AB in 23/61 (37.7%); and TyB in 26/61 (42.6%). Viral etiology was significantly frequent in young patients and in those with low oxygen saturation, wheezing, no consolidation, and high lymphocyte counts. CAP patients with AB as the etiological agent had a significantly longer and less serious course as compared to those with other causative pathogens.[Conclusions]: Viruses and M. pneumoniae are the main causes of pediatric CAP in Spain. Wheezing, young age, and no consolidation on radiographs are indicative of viral etiology. Viruses and AB can also cause PPE. Since only a few cases can be directly attributed to TyB, the indications for antibiotics must be carefully considered in each patient.Instituto de Investigación Hospital 12 de Octubre (i+12), Grant/Award Number: AY191212‐1; Instituto de Salud Carlos III (Ministry of Economy, Industry and Competitiveness) and co‐funded by the European Regional Development Funds, Grant/Award Number: Project PI17/01458; Instituto Ramón y Cajal de Investigación Sanitaria (IRYCIS), Grant/Award Number: PCAPE 2011_0025 Register 320/11; Research Project of Universidad Europea de Madrid, Grant/Award Number: 2017/UEM03Peer reviewe

Guidelines for the use and interpretation of assays for monitoring autophagy (3rd edition)

In 2008 we published the first set of guidelines for standardizing research in autophagy. Since then, research on this topic has continued to accelerate, and many new scientists have entered the field. Our knowledge base and relevant new technologies have also been expanding. Accordingly, it is important to update these guidelines for monitoring autophagy in different organisms. Various reviews have described the range of assays that have been used for this purpose. Nevertheless, there continues to be confusion regarding acceptable methods to measure autophagy, especially in multicellular eukaryotes. For example, a key point that needs to be emphasized is that there is a difference between measurements that monitor the numbers or volume of autophagic elements (e.g., autophagosomes or autolysosomes) at any stage of the autophagic process versus those that measure fl ux through the autophagy pathway (i.e., the complete process including the amount and rate of cargo sequestered and degraded). In particular, a block in macroautophagy that results in autophagosome accumulation must be differentiated from stimuli that increase autophagic activity, defi ned as increased autophagy induction coupled with increased delivery to, and degradation within, lysosomes (inmost higher eukaryotes and some protists such as Dictyostelium ) or the vacuole (in plants and fungi). In other words, it is especially important that investigators new to the fi eld understand that the appearance of more autophagosomes does not necessarily equate with more autophagy. In fact, in many cases, autophagosomes accumulate because of a block in trafficking to lysosomes without a concomitant change in autophagosome biogenesis, whereas an increase in autolysosomes may reflect a reduction in degradative activity. It is worth emphasizing here that lysosomal digestion is a stage of autophagy and evaluating its competence is a crucial part of the evaluation of autophagic flux, or complete autophagy. Here, we present a set of guidelines for the selection and interpretation of methods for use by investigators who aim to examine macroautophagy and related processes, as well as for reviewers who need to provide realistic and reasonable critiques of papers that are focused on these processes. These guidelines are not meant to be a formulaic set of rules, because the appropriate assays depend in part on the question being asked and the system being used. In addition, we emphasize that no individual assay is guaranteed to be the most appropriate one in every situation, and we strongly recommend the use of multiple assays to monitor autophagy. Along these lines, because of the potential for pleiotropic effects due to blocking autophagy through genetic manipulation it is imperative to delete or knock down more than one autophagy-related gene. In addition, some individual Atg proteins, or groups of proteins, are involved in other cellular pathways so not all Atg proteins can be used as a specific marker for an autophagic process. In these guidelines, we consider these various methods of assessing autophagy and what information can, or cannot, be obtained from them. Finally, by discussing the merits and limits of particular autophagy assays, we hope to encourage technical innovation in the field

Riociguat treatment in patients with chronic thromboembolic pulmonary hypertension: Final safety data from the EXPERT registry

Objective: The soluble guanylate cyclase stimulator riociguat is approved for the treatment of adult patients with pulmonary arterial hypertension (PAH) and inoperable or persistent/recurrent chronic thromboembolic pulmonary hypertension (CTEPH) following Phase